Home

Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.

Collections
Categories
Systems
Conferences
People
Companies
Papers

Searched: \.*
Results from Transform web
5ESS (29 Mar 2001 - 16:32 - NEW - EelcoVisser)
Telephone switch from Lucent. For a while the biggest software system in the world (10M loc?). Used in many research experiments by Lucent dealing with, e.g., DomainSpecificLanguages and ReverseEngineering.
ACM (07 May 2001 - 09:50 - NEW - ArieVanDeursen)
Association for Computing Machinery -- http://www.acm.org/

The ACM Computing Classification System [1998 Version]: http://info.acm.org/class/1998/

ADATE (09 May 2001 - 21:56 - NEW - EelcoVisser)
Homepage: http://www-ia.hiof.no/~rolando/adate_intro.html

Automatic Design of Algorithms Through Evolution (ADATE) is a system for automatic programming i.e., inductive inference of algorithms.

AMAST (10 Oct 2001 - 14:44 - r1.3 - TWikiGuest)
ANGIEGenerationNow (17 Oct 2003 - 16:46 - NEW - ReengineeringGuest)
The generator development platform ANGIE provides a script language, a compiler for this language and a runtime system. The freeware version of ANGIE is named "ANGIE Generation Now!", which additionally comprises an IDE. ANGIE is a frame-based generator system, optimized for the task of generating program texts.

ANGIE Homepage: http://angie.d-s-t-g.com

ANT (13 Dec 2001 - 01:57 - r1.3 - MartinBravenboer)
ANT is a Java based tool for `making' software. It is described as ``make without makes' wrinkles''. Although it is meant for more languages than just Java, its main aim is Java. ANT is used in large projects, such as ArgoUML? and TomCat?.

http://jakarta.apache.org/ant/index.html

--

ANT configuration files are in XML format. Build files usually contain multiple targets, which might dependent on each other. Each target uses one or more tasks. ANT build files can be used on any platform because most build-in tasks are platform-independent. New tasks can be easily implemented in Java and added to ANT.

Idea: develop ANT tasks for XT.

-- MartinBravenboer - 13 Dec 2001

ANTLR (09 Mar 2004 - 10:55 - r1.3 - MartinBravenboer)
ANTLR: ANother Tool for Language Recognition

Features

ANTLR is a parser generator.

  • Generates Java, C#, or C++ code.

  • Accepts the class of LL(k) grammars

  • Produces recursive-descent parsers

  • Includes mini grammar base, as well as several example applications of ANTLR

  • Tree grammars which let you use grammar constructs to specify how to walk your AST. It also has a notation for building and transforming your AST.

Applications

A complete skeleton of an ANTLR based transformation system for ANSI C and C with GCC extesions can be seen at http://www.codetransform.com/gcc.html. Included are a parser, tree parser (to be "grammar subclassed" for your transformation passes), and a tree emitter to take your tree back to text.

History

Formerly part of PCCTS. See also SORCERER.

Resources

Website: http://www.antlr.org/

CategorySystem
AOOP (02 Apr 2002 - 19:48 - r1.2 - ArieVanDeursen)
AOOPForPresentationPage (09 May 2001 - 21:56 - NEW - EelcoVisser)
  • java Source[1]
  • C++ Source[2]
API (20 Mar 2001 - 17:02 - NEW - EelcoVisser)
API is the acronym of ApplicationProgrammersInterface?
APTS (28 Apr 2005 - 22:24 - r1.2 - Main.wiki)
Homepage: http://cs.nyu.edu/~jessie/apts.html

APTS is a the Abstract Program Transformation System developed by RobertPaige.

CategorySystem | Contributions by EelcoVisser
ARefactoringToolForSmalltalk (09 May 2001 - 21:56 - NEW - EelcoVisser)
A Refactoring Tool for Smalltalk

by DonRoberts, JohnBrant, and RalphJohnson

This article introduces the concept and utility of refactorings in program maintenance. It describes the requirements, design and implementation of the SmalltalkRefactory tool that automatically applies refactorings to Smalltalk programs.

ASE (13 Mar 2001 - 17:17 - NEW - EelcoVisser)
Homepage: http://ase.informatik.uni-essen.de

Conference on Automated Software Engineering

  • Deadline: June
  • Conference: November

Description (from the call for papers)

The IEEE International Conference on Automated Software Engineering brings together researchers and practitioners to share ideas on the foundations, techniques, tools, and applications of automated software engineering technology. Both automatic systems and systems that support and cooperate with people are within the scope of the conference, as are models of software and software engineering activities. ASE'2001 encourages contributions describing basic research, novel applications, and experience relevant to automating software engineering activities. Solicited topics include, but are not limited to:

  • Automated reasoning techniques
  • Automated software specification
  • Automated software design and synthesis
  • Category and Graph - theoretic approaches
  • Computer-supported cooperative work
  • Domain modeling and meta-modeling
  • Human computer interaction
  • Knowledge acquisition
  • Maintenance and evolution
  • Modeling language semantics
  • Ontologies and methodologies
  • Process and workflow management
  • Program understanding
  • Re-engineering
  • Reflection- and Metadata approaches
  • Requirements engineering
  • Reuse
  • Software architectures
  • Testing
  • Tutoring, help, documentation systems
  • Verification and validation

CategoryConference
ASF (25 Apr 2001 - 10:59 - r1.2 - ArieVanDeursen)
ASF is the abbreviation of the Algebraic Specification Formalism developed at CWI and the University of Amsterdam. The formalism is used in combination with the Syntax Definition Formalism SDF in the ASFandSDFMetaEnvironment.

CategoryLanguage

ASFandSDF (18 May 2001 - 11:10 - r1.5 - TWikiGuest)
ASF+SDF is rewriting language with user-defined term syntax and support for tree traversals. It is used for SoftwareRenovation and rapid prototyping of DomainSpecificLanguages

More information:

An introduction to the ASF+SDF formalism is given in Chapter 1 of LanguagePrototyping.

CategoryLanguage
ASFandSDFMetaEnvironment (02 Jan 2002 - 13:57 - r1.7 - EelcoVisser)
A tool suite to support the development of specifications written in the ASFandSDF formalism.

It includes